BooleanMinterms

BooleanMinterms[k,n] represents the kth minterm in n variables.

BooleanMinterms[{k1,k2,…},n] represents the disjunction of the minterms ki.

BooleanMinterms[{{u1,…,un},{v1,…},…}] represents the disjunction of minterms given by the exponent vectors ui, vi, ….

BooleanMinterms[spec,{a1,a2,…}] gives the Boolean expression in variables ai corresponding to the minterms function specified by spec.

BooleanMinterms[spec,{a,a2,…},form] gives the Boolean expression in the form specified by form.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.